Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
241	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
242	Adaptive Motion Planning for Complex Planning Problems Lydia Tapia and John Baxter Abstract— Motion planning has been used to solve problems of high complexity in both robotic and biological domains. In robotics, the t Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:55 Biochemistry Proteomics Proteins Motion planning Theoretical computer science Protein folding Probabilistic roadmap Protein domain Protein Biology Protein structure Machine learning
243	On Modeling Clustering Indexes of BT-like Systems Q.H. Li John C.S. Lui The Chinese University of Hong Kong Abstract—In this paper, we explore the “clustering” phenomenon in BT-like systems. A high clustering impli Add to Reading List Source URL: www.cs.cuhk.hk Language: English - Date: 2008-12-29 20:25:20 Data analysis Data mining Geostatistics Machine learning Markov chain Peer-to-peer Connection Statistics Multivariate statistics Cluster analysis
244	Empirical and Theoretical Support for Lenient Learning (Extended Abstract) Daan Bloembergen, Michael Kaisers, Karl Tuyls Maastricht University, P.O. Box 616, 6200MD, Maastricht, The Netherlands {daan.bloembergen, michael Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:04:17 Q-learning Knowledge Reinforcement learning Agent-based model Machine learning Game theory Science Markov models Artificial intelligence
245	Cross-Entropy Probabilistic Motion Planning Marin Kobilarov California Institute of Technology Abstract— This work, initially presented in [1], considers Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:35 Control theory Artificial intelligence Cognition Cross-entropy method Heuristics Machine learning
246	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
247	Computer-Assisted Language Learning and the Revolution in Computational Linguistics Pius ten Hacken (Swansea) Abstract For a long period, Computational Linguistics (CL) and Computer-Assisted Language Add to Reading List Source URL: www.linguistik-online.de Language: English - Date: 2003-12-19 05:48:53 Computational linguistics Machine translation Applied linguistics Language Generative linguistics Sublanguage Noam Chomsky Verbmobil Natural language processing Linguistics Science Academia
248	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
249	B E YO N D C O N T R A T O S D E P R O T E C C I Ó N Strong and Weak Unionism in Mexican Retail Enterprises Chris Tilly University of California Los Angeles Abstract: As part of a long-standing debate about the extent Add to Reading List Source URL: www.irle.ucla.edu Language: English - Date: 2015-03-26 18:13:07 Mexican labor law Trade union Collective bargaining Confederation of Mexican Workers Labour law Company union Strike action United Electrical Radio and Machine Workers of America Labour relations Human resource management Management
250	Timbre remapping through a regression-tree technique Dan Stowell and Mark D. Plumbley Centre for Digital Music, Queen Mary University of London, UK ABSTRACT Add to Reading List Source URL: c4dm.eecs.qmul.ac.uk Language: English - Date: 2010-06-08 07:55:56 Econometrics Machine learning Decision trees Regression analysis Speech synthesis Decision tree learning Concatenative synthesis Chemometrics Principal component analysis Statistics Science Timbre

UPDATE